Sort by
Refine Your Search
-
, preferably Idris, and working with dependently-typed language architectures and evolving them and experience in developing meta-theories for dependently typed languages, preferably observational and
Searches related to Linguistics
Enter an email to receive alerts for Linguistics positions